Entangled State Monads
نویسندگان
چکیده
We present a monadic treatment of symmetric state-based bidirectional transformations, and show how it arises naturally from the well-known asymmetric lens-based account. We introduce two presentations of a concept we dub the “entangled” state monad, and prove their equivalence. As a step towards a unifying account of bidirectionality in general, we exhibit existing classes of statebased approaches from the literature as instances of our new constructions. This extended abstract reports on work in progress.
منابع مشابه
Teleportation via an Entangled Coherent Channel and Decoherence Effect on This Channel
We study an entangled two-mode coherent state within the framework of2×2-dimensional Hilbert space. We investigate the problem of quantum teleportation ofa superposition coherent state via an entangled coherent channel. By three differentmeasures with the titles ``minimum assured fidelity (MASF)”, ``average teleportationfidelity” and ``optimal fidelity (f)” we study the ...
متن کاملMonads for Functional Programming
The use of monads to structure functional programs is de scribed Monads provide a convenient framework for simulating e ects found in other languages such as global state exception handling out put or non determinism Three case studies are looked at in detail how monads ease the modi cation of a simple evaluator how monads act as the basis of a datatype of arrays subject to in place update and ...
متن کاملLeibniz’s Monads and Mulla Sadra’s Hierarchy of Being: A Comparative Study
Mulla Sadra and Leibniz, the two philosophers from the East and the West, belong to two different worlds. Though they were unaware of the ideas of each other, their philosophical systems share certain common points that are comparable. Monads constitute the basis of Leibniz's thought and he refers to their features in his various works. On the other side, Mulla Sadra's philosophy is also based ...
متن کاملDynamics of entangled quantum optical system in independent media
We study the dynamics of two three-level atoms interacting with independent bosonic Lorentzian reservoirs at zero temperature. Such systems can be created in far astronomical objects. Quantum mechanical behaviour of these particles can produce detectable effects on the spectroscopic identifications of these objects, if such behaviour remain stable during the interaction with their media. It is ...
متن کاملComplete Elgot Monads and Coalgebraic Resumptions
Monads are extensively used nowadays to abstractly model a wide range of computational effects such as nondeterminism, statefulness, and exceptions. It turns out that equipping a monad with a (uniform) iteration operator satisfying a set of natural axioms allows for modelling iterative computations just as abstractly. The emerging monads are called complete Elgot monads. It has been shown recen...
متن کامل